Merge pull request #1538 from jts-arm/typos
authorDimitris Papastamos <[email protected]>
Tue, 28 Aug 2018 09:07:21 +0000 (10:07 +0100)
committerGitHub <[email protected]>
Tue, 28 Aug 2018 09:07:21 +0000 (10:07 +0100)
Remove unnecessary casts


Trivial merge